Jeux de mains

De l'oprateur de trace dans les jeux de Conway

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...

Jeux De Tableaux: Complementation and Internal Insertion

Jeux stochastiques et contrôle de puissance distribué

Transmitters of a multiple access channel are assumed to freely choose their power control strategy in order to be energy-efficient. We show that in a stochastic game framework, we can develop energy-efficient distributed control strategies which only require partial knowledge of the entire system. Achievable utility equilibrium region is characterized and based on time-sharing, an explicit pow...

Détection de clefs pour l'interconnexion et le nettoyage de jeux de données

Résumé : Cet article propose une méthode d’analyse de jeux de données du Web publiés en RDF basée sur les dépendances de clefs. Ce type particulier de dépendances fonctionnelles, largement étudié dans la théorie des bases de données, permet d’évaluer si un ensemble de propriétés constitue une clef pour l’ensemble de données considéré. Si c’est le cas, il n’y aura alors pas deux instances posséd...

Calcul des équilibres de Nash dans les jeux temporisés

Les automates temporisés [AD90] permettent de modéliser un système où le temps s’écoule de façon continu. Ils sont utiles en vérification car beaucoup de propriétés intéressantes sont décidables sur ces modèles. Plusieurs outils ont été développés basés sur des automates temporisés. Les jeux permettent d’étudier des systèmes ouverts. Étant plongé dans un environnement, certaines actions sont co...